$\forall$$R$:es\_realizer\{i:l\}, $i$:Id. R{-}has{-}loc($R$; $i$) $\in$ $\mathbb{B}$